Inlnk($i$)($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$destination($l$) $=$ $i$ $\in$ Id